<?php // lint >= 7.4

1;
10;
10.0;
1.00;
10_0;
100;
1.100_00;
6.674_083e-11;
299_792_458;
0xCAFE_F00D;
0xCAFEF00D;
0b0101_1111;
0b01011111;
0137_041;
0666;
0137041;
